I would like to use some patterns only occassionally. So one of the following would
help me:
1. A checkbox "Active by default" in pattern definition
2. Remembering of filter settings between jedit sessions
Currently at every plugin restart the filter gets all elements set.
Submitted | jarekczek - 2012-01-08 - 09:09:15z | Assigned | daleanson |
---|---|---|---|
Priority | 2 | Category | TaskList |
Status | Open | Group | None |
Resolution | None | Visibility | No |